#include<stdio.h>
int main(){
	double a = 13;
	int b =3;
	printf("a/b=%f\n",a/b);
}
